Modelling agent communication in a first order logic

Modelling Agent Communication in a First Order Logic

In the design of information systems, the notion of agent has proven useful. When modelling communication among agents, deontic concepts, such as obligations, permissions, and prohibitions are essential. The dynamics of obligations, i.e., how obligations are created and destroyed, can effectively be described by means of notions from speech act theory. In this paper, we present a language that ...

A Multi-Agent Approach to First-Order Logic

This paper presents a hierarchical heterogeneous multi-agent society based on a hypercube parallel architecture able to manage, in a distributed way, a rst-order logic knowledge base and to draw inferences from it. The knowledge base is structured into theories, composed by sets of formulas. The adopted internal representation of these theories consists of both canonical forms of the formulas t...

A Proposal for Inductive Learning Agent Using First-Order Logic

A First-Order Branching Time Logic of Multi-Agent System

This paper presents a first-order branching time temporal logic that is suitable for describing and reasoning about a wide class of computational multi-agent systems. The logic is novel in that it supports reasoning about the beliefs, actions, goals, abilities and structure of groups of agents. A sound proof system for the logic is presented, and some short examples are given, showing how the l...

A First-order Theory of Communication and Multi-agent Plans

This paper presents a theory expressed in first-order logic for describing and supporting inference about action, knowledge, planning, and communication, in an egalitarian multi-agent setting. The underlying ontology of the theory uses a situation-based temporal model and a possible-worlds model of knowledge. It supports plans and communications of a very general kind, both informative communic...